#include <linux/unistd.h>
#include <sys/syscall.h>
#include <stdio.h>

int main(void)
{
	long cur_pid = syscall(314);
	printf("The current PID is %ld\n", cur_pid);
	return 0;
}
